The behavior-realization adjunction and generalized homomorphic relations
نویسندگان
چکیده
منابع مشابه
The Behavior-Realization Adjunction and Generalized Homomorphic Relations
A model theory for proving correctness of abstract data types is developed within the framework of the behavior-realization adjunction. To allow for incomplete speci cations, proof-of-correctness is based on comparison to one of several paradigmatic models. For making such comparisons, the notions of the behavior and realization relations, and their duals are developed. These relations are used...
متن کاملTyped Homomorphic Relations Extended with Subtypes
Typed homomorphic relations on heterogeneous algebras are generalized to allow relationships between elements in the carrier sets of di erent types. Such relations are needed for the model theory of incomplete, hierarchical speci cations with subtypes. Typed logical relations are generalized similarly. These tools help give a simple model-theoretic account of subtyping among abstract data types...
متن کاملTyped Homomorphic Relations Extended with Sybtypes
Typed homomorphic relations on heterogeneous algebras are generalized to allow relationships between elements in the carrier sets of different types. Such relations are needed for the model theory of incomplete, hierarchical specifications with subtypes. Typed logical relations are generalized similarly. These tools help give a simple model-theoretic account of subtyping among abstract data typ...
متن کاملResults on Homomorphic Realization of Automata by alpha_0-Products
&ik, Z., Results on homomorphic realization of automata by a,-products, Theoretical Computer Science 87 (1991) 229-249. The notion of an irreducible semigroup has been fundamental to the Krohn-Rhodes decomposition. In this paper we study a similar concept and point out its equivalence with the Krohn-Rhodes irreducibility. We then use the new aspect of irreducible semigroups to provide cascade d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1997
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(97)87172-1